l_member!(x; l; T)
== i:. ((i < ||l||) c ((x = l[i])  (j:. (j < ||l||)  (x = l[j])  (j = i)))) 

latex

---

clarification:

l_member!(x; l; T)
== i:
== ((i < ||l||) c ((x = l[i]  T)  (j:. (j < ||l||)  (x = l[j]  T)  (j = i  )))) 

latex

Definitions	x:A. B(x), A c B, P  Q, x:A. B(x), a < b, ||as||, P  Q, l[i], s = t,
FDL editor aliases	l_member!